Automated Deduction In Geometry 10th International Workshop, Adg 2014,

Pedro Quaresma (u. A.) | Automated Deduction In Geometry | Taschenbuch

Automated Reasoning 10th International Joint Conference, Ijcar 2020,

Human Friendly Robotics 10th International Workshop 4997

Hybrid Metaheuristics 10th International Workshop, Hm 2016, Plymouth,

Reachability Problems 10th International Workshop, Rp 2016, Aalborg,

Walcom: Algorithms And Computation 10th International Workshop, Walcom

Fuzzy Logic And Applications 10th International Workshop, Wilf 2013,

Machine Translation 10th China Workshop, Cwmt 2014, Macau, China,

Membrane Computing 10th International Workshop, Wmc 2009, Curtea De

Testing Of Communicating Systems Ifip Tc6 10th International Workshop

Geometry And Topology Of Manifolds 10th China-japan Conference 2014

Automated Deduction - A Basis For Applications Volume I Foundations -

Symbiotic Interaction Third International Workshop, Symbiotic 2014,

Biometric Authentication First International Workshop, Biomet 2014,

Probabilistic Graphical Models 7th International Workshop, Pgm 2014,